, 则 退化为一条直线, 此时对称的条件化为

取绝对值即得 , 其中 可为圆上任一有限点, 因此 上任一点的距离相等.

取虚部即得 , 因此 关于 异侧.

因此 垂直.

综上所述, 垂直平分 .